Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·16h·
Discuss: Lobsters, Hacker News
🦀Rust
Taming the Beast: Comparing Jsonnet, Dhall, Cue
pv.wtf·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Hardness of M-LWE with General Distributions and Applications to Leaky Variants
eprint.iacr.org·2d
🔐Zero-Knowledge Proofs
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·1d·
Discuss: Hacker News
🦀Rust
FSM for Python, Inspired by Gen_fsm
github.com·1d·
Discuss: Hacker News
🦀Rust
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·21h·
Discuss: Hacker News
🦀Rust
Mellea is a library for writing generative programs
mellea.ai·20h·
Discuss: Lobsters, Hacker News
🦀Rust
Anaphoric Macros
letoverlambda.com·4h·
Discuss: Lobsters
🦀Rust
Coalton Playground: Type-Safe Lisp in the Browser
abacusnoir.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·1d·
Discuss: Hacker News
🔒Cryptography
My Year of Rust
xavd.id·1d·
Discuss: Hacker News
🦀Rust
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.com·1d·
Discuss: Lobsters, Hacker News
🔒Cryptography
Why Clojure?
blog.cleancoder.com·1d·
Discuss: Hacker News
🦀Rust
Show HN: FilterQL – A tiny query language for filtering structured data
github.com·22h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·2d·
Discuss: Hacker News
🦀Rust
A beginner-friendly guide to learning Jax with practical examples
github.com·20h·
Discuss: Hacker News, r/LocalLLaMA
🦀Rust
Standard Package Layout (2016)
gobeyond.dev·1d·
Discuss: Lobsters
🦀Rust
Swift for the Web
nicksloan.com·2d·
Discuss: Hacker News
🦀Rust
Handling long-running LLM streams in a stateful backend
blog.leap.new·1d·
Discuss: Hacker News
🦀Rust